#Density : 3129215980147738458076465658267/16000000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {6, 7, 9, 11, 12, 15}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
31691600520783140259365819/2500000000000000000000000000 476476734827410845439784371/25000000000000000000000000000 -6877324696720796312872383/1000000000000000000000000000 -322863013948858323938876701/12500000000000000000000000000 929812505026766686144644239/25000000000000000000000000000 -248692273991239362640659449/5000000000000000000000000000
476476734827410845439784371/25000000000000000000000000000 7163730297651138816763487339/250000000000000000000000000000 -103399170821065951176495447/10000000000000000000000000000 -4854179408894281784619758309/125000000000000000000000000000 13979540923037653598903850151/250000000000000000000000000000 -3739037497031449076384267041/50000000000000000000000000000
-6877324696720796312872383/1000000000000000000000000000 -103399170821065951176495447/10000000000000000000000000000 1492433143384738351615731/400000000000000000000000000 70063794286187869826707257/5000000000000000000000000000 -201776571680147908801768323/10000000000000000000000000000 53968164740748183201448293/2000000000000000000000000000
-322863013948858323938876701/12500000000000000000000000000 -4854179408894281784619758309/125000000000000000000000000000 70063794286187869826707257/5000000000000000000000000000 3289216198083162226731442379/62500000000000000000000000000 -9472606711150778236464731881/125000000000000000000000000000 2533590472148948247652363471/25000000000000000000000000000
929812505026766686144644239/25000000000000000000000000000 13979540923037653598903850151/250000000000000000000000000000 -201776571680147908801768323/10000000000000000000000000000 -9472606711150778236464731881/125000000000000000000000000000 27280139857158178270096618259/250000000000000000000000000000 -7296481795198493787857661269/50000000000000000000000000000
-248692273991239362640659449/5000000000000000000000000000 -3739037497031449076384267041/50000000000000000000000000000 53968164740748183201448293/2000000000000000000000000000 2533590472148948247652363471/25000000000000000000000000000 -7296481795198493787857661269/50000000000000000000000000000 1951553286252433501271058179/10000000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
10281062426814829702939294351/200000000000000000000000000000 195416356530013147994615673937/1000000000000000000000000000000 -24920531150150935589319349703/125000000000000000000000000000 -4509392532485120089514024913/500000000000000000000000000000 -8399039477554522509931699893/62500000000000000000000000000 -192065285552164942488555503603/1000000000000000000000000000000
195416356530013147994615673937/1000000000000000000000000000000 35284049243248674785477451647/40000000000000000000000000000 -133517431848824040510138881933/250000000000000000000000000000 -223765334303691605048281290681/500000000000000000000000000000 -111748547495191968339393357423/250000000000000000000000000000 -25989969501504663647453572153/40000000000000000000000000000
-24920531150150935589319349703/125000000000000000000000000000 -133517431848824040510138881933/250000000000000000000000000000 283240574313240454450379657937/250000000000000000000000000000 -31465531844439332063135831751/50000000000000000000000000000 155961522258874318697539382993/250000000000000000000000000000 54631163284180685126317341513/62500000000000000000000000000
-4509392532485120089514024913/500000000000000000000000000000 -223765334303691605048281290681/500000000000000000000000000000 -31465531844439332063135831751/50000000000000000000000000000 76758371452138377476989089117/62500000000000000000000000000 -41496163562080783264036468719/250000000000000000000000000000 -102444290487889069161512430411/500000000000000000000000000000
-8399039477554522509931699893/62500000000000000000000000000 -111748547495191968339393357423/250000000000000000000000000000 155961522258874318697539382993/250000000000000000000000000000 -41496163562080783264036468719/250000000000000000000000000000 95151760621460002772510375809/250000000000000000000000000000 67371664408847505279338239181/125000000000000000000000000000
-192065285552164942488555503603/1000000000000000000000000000000 -25989969501504663647453572153/40000000000000000000000000000 54631163284180685126317341513/62500000000000000000000000000 -102444290487889069161512430411/500000000000000000000000000000 67371664408847505279338239181/125000000000000000000000000000 30560842570807840393374867747/40000000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
119539955031993374418463738931/62500000000000000000000000000 344083109535159356731501930447/250000000000000000000000000000 45158003730619928851545718917/250000000000000000000000000000 -21672433926312334428450585487/31250000000000000000000000000 -542677479025074813892866237337/500000000000000000000000000000 -323669037602062343023520595097/500000000000000000000000000000 -48174894842343432307367821419/15625000000000000000000000000 109958427897144598778182379251/50000000000000000000000000000 -187191664289485871099650605637/500000000000000000000000000000 138136797007825058119417218219/62500000000000000000000000000 -758765647578637270741482291221/500000000000000000000000000000 -276840320977443217453413601747/100000000000000000000000000000
344083109535159356731501930447/250000000000000000000000000000 1059140256726101766386911767233/1000000000000000000000000000000 67080485404062328714912968553/250000000000000000000000000000 -95983306073353849774222143527/200000000000000000000000000000 -469372596864452290260609648933/1000000000000000000000000000000 -467258841948243881621040671419/500000000000000000000000000000 -2573640078755820663901170149573/1000000000000000000000000000000 221022755292109530102820194487/125000000000000000000000000000 -173663225710137323118366921/488281250000000000000000000 1586447104636829752563368021077/1000000000000000000000000000000 -197050189934227472651802556007/250000000000000000000000000000 -2014530102355933830683249732943/1000000000000000000000000000000
45158003730619928851545718917/250000000000000000000000000000 67080485404062328714912968553/250000000000000000000000000000 208961364179114443011756366661/500000000000000000000000000000 24453030155466309333997472861/125000000000000000000000000000 381631222446352945015901847539/1000000000000000000000000000000 -1400617602533950797574979777677/1000000000000000000000000000000 -292779288939592202947932501757/500000000000000000000000000000 524621267535100225341981325397/500000000000000000000000000000 -345469965469595307252062094959/1000000000000000000000000000000 -6741849951760461252742740273/15625000000000000000000000000 185140215840129500181638418561/200000000000000000000000000000 -575897578655892017406761482253/1000000000000000000000000000000
-21672433926312334428450585487/31250000000000000000000000000 -95983306073353849774222143527/200000000000000000000000000000 24453030155466309333997472861/125000000000000000000000000000 132896313799465226219320689619/200000000000000000000000000000 220102577329041199233335454483/1000000000000000000000000000000 -61605543878946306839456582897/100000000000000000000000000000 1782926023794323662092467096311/1000000000000000000000000000000 5130891413052776293018819081/50000000000000000000000000000 -34938669531526075661728336563/250000000000000000000000000000 -390384693664828466771404195351/200000000000000000000000000000 73337373664712643852071292461/50000000000000000000000000000 510187569312646753947315856029/1000000000000000000000000000000
-542677479025074813892866237337/500000000000000000000000000000 -469372596864452290260609648933/1000000000000000000000000000000 381631222446352945015901847539/1000000000000000000000000000000 220102577329041199233335454483/1000000000000000000000000000000 2196255328427601582137863987921/1000000000000000000000000000000 -1294698720874804494809216950703/1000000000000000000000000000000 -87748681274636117427859429187/250000000000000000000000000000 -38122134701573759425247484811/40000000000000000000000000000 -19078754494434865822636518459/1000000000000000000000000000000 -33335312445864541695462135969/62500000000000000000000000000 1703821492784819452893849422983/1000000000000000000000000000000 892173089706440891656422045139/500000000000000000000000000000
-323669037602062343023520595097/500000000000000000000000000000 -467258841948243881621040671419/500000000000000000000000000000 -1400617602533950797574979777677/1000000000000000000000000000000 -61605543878946306839456582897/100000000000000000000000000000 -1294698720874804494809216950703/1000000000000000000000000000000 469693331109990713745728785817/100000000000000000000000000000 2104842530799088921718863235637/1000000000000000000000000000000 -704847645665306748188159166787/200000000000000000000000000000 28914638837439846547492175573/25000000000000000000000000000 1324722563975906114785923872083/1000000000000000000000000000000 -1519273394329239950694373769959/500000000000000000000000000000 122580911886879155988967714619/62500000000000000000000000000
-48174894842343432307367821419/15625000000000000000000000000 -2573640078755820663901170149573/1000000000000000000000000000000 -292779288939592202947932501757/500000000000000000000000000000 1782926023794323662092467096311/1000000000000000000000000000000 -87748681274636117427859429187/250000000000000000000000000000 2104842530799088921718863235637/1000000000000000000000000000000 8244876643931953818471951174219/1000000000000000000000000000000 -1449289428455593368117643995447/500000000000000000000000000000 580603963786165926328179904077/1000000000000000000000000000000 -5711281985247715207391274901261/1000000000000000000000000000000 2447145495875923727929910497653/1000000000000000000000000000000 73080410739443065018824612367/20000000000000000000000000000
109958427897144598778182379251/50000000000000000000000000000 221022755292109530102820194487/125000000000000000000000000000 524621267535100225341981325397/500000000000000000000000000000 5130891413052776293018819081/50000000000000000000000000000 -38122134701573759425247484811/40000000000000000000000000000 -704847645665306748188159166787/200000000000000000000000000000 -1449289428455593368117643995447/500000000000000000000000000000 2432186049626995526119847737837/500000000000000000000000000000 -1182309429775560273120595600409/1000000000000000000000000000000 5733385854258715963644217891/50000000000000000000000000000 164857612717900662546127217671/200000000000000000000000000000 -4320575727293261092011789621539/1000000000000000000000000000000
-187191664289485871099650605637/500000000000000000000000000000 -173663225710137323118366921/488281250000000000000000000 -345469965469595307252062094959/1000000000000000000000000000000 -34938669531526075661728336563/250000000000000000000000000000 -19078754494434865822636518459/1000000000000000000000000000000 28914638837439846547492175573/25000000000000000000000000000 580603963786165926328179904077/1000000000000000000000000000000 -1182309429775560273120595600409/1000000000000000000000000000000 116022035903415269332430697647/250000000000000000000000000000 277233698782504807777777970297/1000000000000000000000000000000 -59436430680917032251701336933/100000000000000000000000000000 43340169702812692951427315601/50000000000000000000000000000
138136797007825058119417218219/62500000000000000000000000000 1586447104636829752563368021077/1000000000000000000000000000000 -6741849951760461252742740273/15625000000000000000000000000 -390384693664828466771404195351/200000000000000000000000000000 -33335312445864541695462135969/62500000000000000000000000000 1324722563975906114785923872083/1000000000000000000000000000000 -5711281985247715207391274901261/1000000000000000000000000000000 5733385854258715963644217891/50000000000000000000000000000 277233698782504807777777970297/1000000000000000000000000000000 5818391479999921953258700250161/1000000000000000000000000000000 -4133781473459127906814891813119/1000000000000000000000000000000 -36136910544642574938521388801/20000000000000000000000000000
-758765647578637270741482291221/500000000000000000000000000000 -197050189934227472651802556007/250000000000000000000000000000 185140215840129500181638418561/200000000000000000000000000000 73337373664712643852071292461/50000000000000000000000000000 1703821492784819452893849422983/1000000000000000000000000000000 -1519273394329239950694373769959/500000000000000000000000000000 2447145495875923727929910497653/1000000000000000000000000000000 164857612717900662546127217671/200000000000000000000000000000 -59436430680917032251701336933/100000000000000000000000000000 -4133781473459127906814891813119/1000000000000000000000000000000 266052224746313569642512898541/62500000000000000000000000000 545411992482678431555601021829/500000000000000000000000000000
-276840320977443217453413601747/100000000000000000000000000000 -2014530102355933830683249732943/1000000000000000000000000000000 -575897578655892017406761482253/1000000000000000000000000000000 510187569312646753947315856029/1000000000000000000000000000000 892173089706440891656422045139/500000000000000000000000000000 122580911886879155988967714619/62500000000000000000000000000 73080410739443065018824612367/20000000000000000000000000000 -4320575727293261092011789621539/1000000000000000000000000000000 43340169702812692951427315601/50000000000000000000000000000 -36136910544642574938521388801/20000000000000000000000000000 545411992482678431555601021829/500000000000000000000000000000 932685355054316626555881677987/200000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
533422269426136845545994026727/200000000000000000000000000000 -7912375033295562172006237227/7812500000000000000000000000 116218316746673513790581884413/125000000000000000000000000000 -134516690417682428285158764219/50000000000000000000000000000
-7912375033295562172006237227/7812500000000000000000000000 887341540689908843998364332719/250000000000000000000000000000 292283398151327771389121156587/250000000000000000000000000000 255400571379695518951071642033/250000000000000000000000000000
116218316746673513790581884413/125000000000000000000000000000 292283398151327771389121156587/250000000000000000000000000000 3855268863321671890385638261/3125000000000000000000000000 -117230226247164415443053697711/125000000000000000000000000000
-134516690417682428285158764219/50000000000000000000000000000 255400571379695518951071642033/250000000000000000000000000000 -117230226247164415443053697711/125000000000000000000000000000 33921980835920462320805005767/12500000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
97430278774309570919540201879/15625000000000000000000000000 246326665096517020679440634767/62500000000000000000000000000 2310170038436703206819499549/625000000000000000000000000 -1156106202808998388062592944649/500000000000000000000000000000 -281161877707264862198232132937/50000000000000000000000000000 -345439920494970748648198480561/500000000000000000000000000000 680537374039543133096356678463/250000000000000000000000000000 -641781065988060094875476249541/250000000000000000000000000000 21892260814569641334643950081/20000000000000000000000000000 730606855160402831610964930809/250000000000000000000000000000
246326665096517020679440634767/62500000000000000000000000000 83450171647723853053459500317/31250000000000000000000000000 1160101599534253787087839282353/500000000000000000000000000000 -85764787803652223211808377753/50000000000000000000000000000 -214459122286179336181004639513/50000000000000000000000000000 1648990913084268308070861987/15625000000000000000000000000 725214030725519326735188743923/500000000000000000000000000000 -729304831345733087930298404489/500000000000000000000000000000 24252146205050570828523231357/31250000000000000000000000000 277680891432970658811607676987/125000000000000000000000000000
2310170038436703206819499549/625000000000000000000000000 1160101599534253787087839282353/500000000000000000000000000000 2252170546844373242571337646863/1000000000000000000000000000000 -703190036734017380778576854911/500000000000000000000000000000 -3246414880196491066062082998579/1000000000000000000000000000000 -238005224779783245945697489369/500000000000000000000000000000 465017986553572803766018823929/250000000000000000000000000000 -1590235145314803715772847563441/1000000000000000000000000000000 271764243765739692271041505089/500000000000000000000000000000 333137917740224357837556890711/200000000000000000000000000000
-1156106202808998388062592944649/500000000000000000000000000000 -85764787803652223211808377753/50000000000000000000000000000 -703190036734017380778576854911/500000000000000000000000000000 693815415459380310897173537879/500000000000000000000000000000 396318680679542324781766710817/125000000000000000000000000000 -271084600114288291883804366263/500000000000000000000000000000 -82592855724776498054658617423/100000000000000000000000000000 94889615735515070074073152109/125000000000000000000000000000 -217954509370249756445560110109/500000000000000000000000000000 -403484732804722235782034745953/250000000000000000000000000000
-281161877707264862198232132937/50000000000000000000000000000 -214459122286179336181004639513/50000000000000000000000000000 -3246414880196491066062082998579/1000000000000000000000000000000 396318680679542324781766710817/125000000000000000000000000000 1039964753922677661096086817577/125000000000000000000000000000 -887127007678340054394261076469/500000000000000000000000000000 -1203152918621050083271694817239/1000000000000000000000000000000 1577092804196739529559951057463/1000000000000000000000000000000 -693305068704724400481627315363/500000000000000000000000000000 -2147973378036539634381254519241/500000000000000000000000000000
-345439920494970748648198480561/500000000000000000000000000000 1648990913084268308070861987/15625000000000000000000000000 -238005224779783245945697489369/500000000000000000000000000000 -271084600114288291883804366263/500000000000000000000000000000 -887127007678340054394261076469/500000000000000000000000000000 184568442491309795188809704497/100000000000000000000000000000 -308444089512274631585382003569/250000000000000000000000000000 51933545887357213114662316249/62500000000000000000000000000 88645242663272374416104496551/500000000000000000000000000000 451210553052805174288437766109/500000000000000000000000000000
680537374039543133096356678463/250000000000000000000000000000 725214030725519326735188743923/500000000000000000000000000000 465017986553572803766018823929/250000000000000000000000000000 -82592855724776498054658617423/100000000000000000000000000000 -1203152918621050083271694817239/1000000000000000000000000000000 -308444089512274631585382003569/250000000000000000000000000000 2442141488957540607366259549001/1000000000000000000000000000000 -790843087900383863280399729293/500000000000000000000000000000 -4731563322501566662274274039/250000000000000000000000000000 555467903346027412991179464213/1000000000000000000000000000000
-641781065988060094875476249541/250000000000000000000000000000 -729304831345733087930298404489/500000000000000000000000000000 -1590235145314803715772847563441/1000000000000000000000000000000 94889615735515070074073152109/125000000000000000000000000000 1577092804196739529559951057463/1000000000000000000000000000000 51933545887357213114662316249/62500000000000000000000000000 -790843087900383863280399729293/500000000000000000000000000000 1264951513155548928766976202197/1000000000000000000000000000000 -549581855765667001204001143/1953125000000000000000000000 -32300248880237799542222900577/40000000000000000000000000000
21892260814569641334643950081/20000000000000000000000000000 24252146205050570828523231357/31250000000000000000000000000 271764243765739692271041505089/500000000000000000000000000000 -217954509370249756445560110109/500000000000000000000000000000 -693305068704724400481627315363/500000000000000000000000000000 88645242663272374416104496551/500000000000000000000000000000 -4731563322501566662274274039/250000000000000000000000000000 -549581855765667001204001143/1953125000000000000000000000 199247257774382588754462313789/500000000000000000000000000000 376500441953249448084540416059/500000000000000000000000000000
730606855160402831610964930809/250000000000000000000000000000 277680891432970658811607676987/125000000000000000000000000000 333137917740224357837556890711/200000000000000000000000000000 -403484732804722235782034745953/250000000000000000000000000000 -2147973378036539634381254519241/500000000000000000000000000000 451210553052805174288437766109/500000000000000000000000000000 555467903346027412991179464213/1000000000000000000000000000000 -32300248880237799542222900577/40000000000000000000000000000 376500441953249448084540416059/500000000000000000000000000000 222679885821113373573077098901/100000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
340740797542448525472625453539/500000000000000000000000000000 -30573886088445156154561472439/100000000000000000000000000000 128908897657847559260251702173/250000000000000000000000000000 260119068628656499933802064389/500000000000000000000000000000 -6484603644196617285690033159/500000000000000000000000000000 -4821436964010982988412869493/25000000000000000000000000000
-30573886088445156154561472439/100000000000000000000000000000 268342207203339467321750676781/500000000000000000000000000000 -3621848430362324958264042467/4000000000000000000000000000 -22838605827864960764448329973/25000000000000000000000000000 2846759900906933141627290637/125000000000000000000000000000 8306217825134791951097801417/12500000000000000000000000000
128908897657847559260251702173/250000000000000000000000000000 -3621848430362324958264042467/4000000000000000000000000000 5499856928383198937460304345463/1000000000000000000000000000000 5548948473439427388471802817597/1000000000000000000000000000000 -138331771429369362434227480051/1000000000000000000000000000000 -1153576659405704011360703391277/250000000000000000000000000000
260119068628656499933802064389/500000000000000000000000000000 -22838605827864960764448329973/25000000000000000000000000000 5548948473439427388471802817597/1000000000000000000000000000000 5598478208039018410809149277213/1000000000000000000000000000000 -139566516346966540458704281987/1000000000000000000000000000000 -1163873447353804904621710315897/250000000000000000000000000000
-6484603644196617285690033159/500000000000000000000000000000 2846759900906933141627290637/125000000000000000000000000000 -138331771429369362434227480051/1000000000000000000000000000000 -139566516346966540458704281987/1000000000000000000000000000000 3479304868465484543852612597/1000000000000000000000000000000 29014627991893789822042000571/250000000000000000000000000000
-4821436964010982988412869493/25000000000000000000000000000 8306217825134791951097801417/12500000000000000000000000000 -1153576659405704011360703391277/250000000000000000000000000000 -1163873447353804904621710315897/250000000000000000000000000000 29014627991893789822042000571/250000000000000000000000000000 251968551779549870561621059907/62500000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
7070592645425498405935862551/250000000000000000000000000000 844577661608942627482022801/125000000000000000000000000000 61309176797677354719885179/62500000000000000000000000000 -141533044279755358778424057/62500000000000000000000000000 -2258341303676433950318005103/125000000000000000000000000000 -239199628402713712189604019/7812500000000000000000000000 -69410427382527481792600653/5000000000000000000000000000 6617898920666163791519437617/250000000000000000000000000000 1228839714561225415019723327/125000000000000000000000000000
844577661608942627482022801/125000000000000000000000000000 50442124321100916314666497/31250000000000000000000000000 2929336409687303069502229/12500000000000000000000000000 -135248235696935388467404631/250000000000000000000000000000 -539514779884240448810139561/125000000000000000000000000000 -1828623294889845737188267787/250000000000000000000000000000 -41455150501379620049081067/12500000000000000000000000000 1581007385228658119917522347/250000000000000000000000000000 117427279399305729524596097/50000000000000000000000000000
61309176797677354719885179/62500000000000000000000000000 2929336409687303069502229/12500000000000000000000000000 65696105867468516515455247/62500000000000000000000000000 -19635750212321999287687923/250000000000000000000000000000 -78328396623032051596477543/125000000000000000000000000000 -265485091484880031990963167/250000000000000000000000000000 -3009292415639541078603519/6250000000000000000000000000 229535460650227918289968989/250000000000000000000000000000 85242247829593564402610357/250000000000000000000000000000
-141533044279755358778424057/62500000000000000000000000000 -135248235696935388467404631/250000000000000000000000000000 -19635750212321999287687923/250000000000000000000000000000 181317554576917915343657011/1000000000000000000000000000000 723288551918102558072214011/500000000000000000000000000000 2451503358718682148422690671/1000000000000000000000000000000 2778796512499927559862627/2500000000000000000000000000 -2119542568378236378216625929/1000000000000000000000000000000 -787131419185864315712123373/1000000000000000000000000000000
-2258341303676433950318005103/125000000000000000000000000000 -539514779884240448810139561/125000000000000000000000000000 -78328396623032051596477543/125000000000000000000000000000 723288551918102558072214011/500000000000000000000000000000 2885249200257983767984245311/250000000000000000000000000000 9779220321426754582298674631/500000000000000000000000000000 22169631730263880771352031/2500000000000000000000000000 -8455005245290406154435918309/500000000000000000000000000000 -3139922914141600366649946893/500000000000000000000000000000
-239199628402713712189604019/7812500000000000000000000000 -1828623294889845737188267787/250000000000000000000000000000 -265485091484880031990963167/250000000000000000000000000000 2451503358718682148422690671/1000000000000000000000000000000 9779220321426754582298674631/500000000000000000000000000000 33145542536310203379466556443/1000000000000000000000000000000 187853542352389058444426421/12500000000000000000000000000 -5731453567693260721223535081/200000000000000000000000000000 -10642407583699004113688255697/1000000000000000000000000000000
-69410427382527481792600653/5000000000000000000000000000 -41455150501379620049081067/12500000000000000000000000000 -3009292415639541078603519/6250000000000000000000000000 2778796512499927559862627/2500000000000000000000000000 22169631730263880771352031/2500000000000000000000000000 187853542352389058444426421/12500000000000000000000000000 17034666226112337130166103/2500000000000000000000000000 -324832171426955857300720221/25000000000000000000000000000 -7539527983158267122201289/1562500000000000000000000000
6617898920666163791519437617/250000000000000000000000000000 1581007385228658119917522347/250000000000000000000000000000 229535460650227918289968989/250000000000000000000000000000 -2119542568378236378216625929/1000000000000000000000000000000 -8455005245290406154435918309/500000000000000000000000000000 -5731453567693260721223535081/200000000000000000000000000000 -324832171426955857300720221/25000000000000000000000000000 24776755398284585063532144039/1000000000000000000000000000000 9201307362463173291129207279/1000000000000000000000000000000
1228839714561225415019723327/125000000000000000000000000000 117427279399305729524596097/50000000000000000000000000000 85242247829593564402610357/250000000000000000000000000000 -787131419185864315712123373/1000000000000000000000000000000 -3139922914141600366649946893/500000000000000000000000000000 -10642407583699004113688255697/1000000000000000000000000000000 -7539527983158267122201289/1562500000000000000000000000 9201307362463173291129207279/1000000000000000000000000000000 3417076038308902300681197667/1000000000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 1144561813004819108538329068649/200000000000000000000000000000 1560448129134152991381684297/500000000000000000000000000000 -97528004025755905675272291/31250000000000000000000000000 780224028032573962239548983/250000000000000000000000000000 0/1 688445362011846793969946464467/1000000000000000000000000000000
0/1 1560448129134152991381684297/500000000000000000000000000000 937327406373380985147837991399/250000000000000000000000000000 244268092393764554341369208147/250000000000000000000000000000 -937326472069481153133010784799/250000000000000000000000000000 0/1 103038585748932426980526567/250000000000000000000000000000
0/1 -97528004025755905675272291/31250000000000000000000000000 244268092393764554341369208147/250000000000000000000000000000 1874654812768632194020102829237/500000000000000000000000000000 -97707610646270051116689542001/100000000000000000000000000000 0/1 -206076847730904416616919293/500000000000000000000000000000
0/1 780224028032573962239548983/250000000000000000000000000000 -937326472069481153133010784799/250000000000000000000000000000 -97707610646270051116689542001/100000000000000000000000000000 1874654812325902818726451381493/500000000000000000000000000000 0/1 51519179364049247399669649/125000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1
0/1 688445362011846793969946464467/1000000000000000000000000000000 103038585748932426980526567/250000000000000000000000000000 -206076847730904416616919293/500000000000000000000000000000 51519179364049247399669649/125000000000000000000000000000 0/1 90917933679137764744878851169/1000000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
331468133579185067292417018863/100000000000000000000000000000 -689472216603913061042936769981/500000000000000000000000000000 928194084554199454150519309757/1000000000000000000000000000000 -3752783616355230476225645903/200000000000000000000000000000 -721329440113437633691656947973/500000000000000000000000000000 164404966923672639072026659803/500000000000000000000000000000 -561421950534022755429895238053/1000000000000000000000000000000 -7024143782886423767646050821/200000000000000000000000000000 -1687848926082335352203600021589/1000000000000000000000000000000 -189020781905332889066411258601/500000000000000000000000000000 1118110369763994488577628915231/1000000000000000000000000000000 464868366752512738845338126171/500000000000000000000000000000
-689472216603913061042936769981/500000000000000000000000000000 428129532158253534388235394097/500000000000000000000000000000 -710074928894960967514280619673/1000000000000000000000000000000 -60736453792798586539488457357/1000000000000000000000000000000 126073218895786380491122920943/100000000000000000000000000000 -4263456353264560701953334897/500000000000000000000000000000 3892482140306111183692867709/200000000000000000000000000000 -15347371165788176314783673191/1000000000000000000000000000000 1097147917513388434287109996673/1000000000000000000000000000000 178188184820553552874715537761/500000000000000000000000000000 -307023772280100437925897393899/1000000000000000000000000000000 -234845328478132318961621881821/500000000000000000000000000000
928194084554199454150519309757/1000000000000000000000000000000 -710074928894960967514280619673/1000000000000000000000000000000 669249978723008129887260668443/1000000000000000000000000000000 11736899199447660929353315997/125000000000000000000000000000 -252984006932058083231950598059/200000000000000000000000000000 -1382188418028981686530912887/12500000000000000000000000000 18178532739261719648407628577/100000000000000000000000000000 17534722142782219107983478279/500000000000000000000000000000 -235075362367103479543518551407/250000000000000000000000000000 -368672472923106564187998961117/1000000000000000000000000000000 21736525778442238783526107391/1000000000000000000000000000000 20298911449158552913665368911/62500000000000000000000000000
-3752783616355230476225645903/200000000000000000000000000000 -60736453792798586539488457357/1000000000000000000000000000000 11736899199447660929353315997/125000000000000000000000000000 27873258442656734568722159891/1000000000000000000000000000000 -208218826643387972182012368503/1000000000000000000000000000000 -31543153190551783566456925999/500000000000000000000000000000 105771839463856350085442863651/1000000000000000000000000000000 13184233099334509193025298283/1000000000000000000000000000000 -94315395008181017467598966207/1000000000000000000000000000000 -64874039053615204370499861041/1000000000000000000000000000000 -52146680028235053697325999147/500000000000000000000000000000 -861020191469884847520731539/500000000000000000000000000000
-721329440113437633691656947973/500000000000000000000000000000 126073218895786380491122920943/100000000000000000000000000000 -252984006932058083231950598059/200000000000000000000000000000 -208218826643387972182012368503/1000000000000000000000000000000 1227550702023117092956974357499/500000000000000000000000000000 154256909681880801070043662071/500000000000000000000000000000 -511501744284217527450197141641/1000000000000000000000000000000 -83571305032237136665427717069/1000000000000000000000000000000 1698547528846690909077773143831/1000000000000000000000000000000 362160133880163060463210857311/500000000000000000000000000000 183475078608641508992915225459/1000000000000000000000000000000 -257465318503590268187429725257/500000000000000000000000000000
164404966923672639072026659803/500000000000000000000000000000 -4263456353264560701953334897/500000000000000000000000000000 -1382188418028981686530912887/12500000000000000000000000000 -31543153190551783566456925999/500000000000000000000000000000 154256909681880801070043662071/500000000000000000000000000000 5382119348624514052664710577/31250000000000000000000000000 -144901328484669935173268292577/500000000000000000000000000000 -16269444635491492889485898687/500000000000000000000000000000 16824390755258318353193661637/500000000000000000000000000000 51734339925155072013644776639/500000000000000000000000000000 85949973788085549978225581307/250000000000000000000000000000 12422251173394327776506379471/125000000000000000000000000000
-561421950534022755429895238053/1000000000000000000000000000000 3892482140306111183692867709/200000000000000000000000000000 18178532739261719648407628577/100000000000000000000000000000 105771839463856350085442863651/1000000000000000000000000000000 -511501744284217527450197141641/1000000000000000000000000000000 -144901328484669935173268292577/500000000000000000000000000000 487672922303294162787469612307/1000000000000000000000000000000 54650884456374351243819697423/1000000000000000000000000000000 -50053367634851660231173908747/1000000000000000000000000000000 -171943391734869672156668103459/1000000000000000000000000000000 -145058737574599171519047843267/250000000000000000000000000000 -84998937931591596870517726201/500000000000000000000000000000
-7024143782886423767646050821/200000000000000000000000000000 -15347371165788176314783673191/1000000000000000000000000000000 17534722142782219107983478279/500000000000000000000000000000 13184233099334509193025298283/1000000000000000000000000000000 -83571305032237136665427717069/1000000000000000000000000000000 -16269444635491492889485898687/500000000000000000000000000000 54650884456374351243819697423/1000000000000000000000000000000 6483579834621113502389339279/1000000000000000000000000000000 -28130170731900995156595275871/1000000000000000000000000000000 -26711351369089832093025311283/1000000000000000000000000000000 -7400938696159711427501859429/125000000000000000000000000000 -4783011812467860790365489227/500000000000000000000000000000
-1687848926082335352203600021589/1000000000000000000000000000000 1097147917513388434287109996673/1000000000000000000000000000000 -235075362367103479543518551407/250000000000000000000000000000 -94315395008181017467598966207/1000000000000000000000000000000 1698547528846690909077773143831/1000000000000000000000000000000 16824390755258318353193661637/500000000000000000000000000000 -50053367634851660231173908747/1000000000000000000000000000000 -28130170731900995156595275871/1000000000000000000000000000000 56907513259743768682584782847/40000000000000000000000000000 484345739193290998056068973261/1000000000000000000000000000000 -152583147049070216124674992999/500000000000000000000000000000 -288652818344095066950154102887/500000000000000000000000000000
-189020781905332889066411258601/500000000000000000000000000000 178188184820553552874715537761/500000000000000000000000000000 -368672472923106564187998961117/1000000000000000000000000000000 -64874039053615204370499861041/1000000000000000000000000000000 362160133880163060463210857311/500000000000000000000000000000 51734339925155072013644776639/500000000000000000000000000000 -171943391734869672156668103459/1000000000000000000000000000000 -26711351369089832093025311283/1000000000000000000000000000000 484345739193290998056068973261/1000000000000000000000000000000 107427487513388924806275742713/500000000000000000000000000000 84048579608851437547224911737/1000000000000000000000000000000 -2732251790653136726941139493/20000000000000000000000000000
1118110369763994488577628915231/1000000000000000000000000000000 -307023772280100437925897393899/1000000000000000000000000000000 21736525778442238783526107391/1000000000000000000000000000000 -52146680028235053697325999147/500000000000000000000000000000 183475078608641508992915225459/1000000000000000000000000000000 85949973788085549978225581307/250000000000000000000000000000 -145058737574599171519047843267/250000000000000000000000000000 -7400938696159711427501859429/125000000000000000000000000000 -152583147049070216124674992999/500000000000000000000000000000 84048579608851437547224911737/1000000000000000000000000000000 784558822387577907493799447143/1000000000000000000000000000000 88966564609902489606598910297/250000000000000000000000000000
464868366752512738845338126171/500000000000000000000000000000 -234845328478132318961621881821/500000000000000000000000000000 20298911449158552913665368911/62500000000000000000000000000 -861020191469884847520731539/500000000000000000000000000000 -257465318503590268187429725257/500000000000000000000000000000 12422251173394327776506379471/125000000000000000000000000000 -84998937931591596870517726201/500000000000000000000000000000 -4783011812467860790365489227/500000000000000000000000000000 -288652818344095066950154102887/500000000000000000000000000000 -2732251790653136726941139493/20000000000000000000000000000 88966564609902489606598910297/250000000000000000000000000000 7743517517064692876955948941/25000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
10452449482187126097312129595719/1000000000000000000000000000000 1896610724832262420426443342759/1000000000000000000000000000000 521349060069922785635082230919/1000000000000000000000000000000 725344293357785480134878347463/500000000000000000000000000000
1896610724832262420426443342759/1000000000000000000000000000000 14394741398026626433756581201/25000000000000000000000000000 11433270654282748666922448239/8000000000000000000000000000 440412716928597362117174661599/1000000000000000000000000000000
521349060069922785635082230919/1000000000000000000000000000000 11433270654282748666922448239/8000000000000000000000000000 1565981000751410955061988992427/200000000000000000000000000000 546570885427066791966470293197/500000000000000000000000000000
725344293357785480134878347463/500000000000000000000000000000 440412716928597362117174661599/1000000000000000000000000000000 546570885427066791966470293197/500000000000000000000000000000 336864963164637410669953220189/1000000000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
262864227452597773240123169/200000000000000000000000000000 981199843265315242044055567/500000000000000000000000000000 24841146693471784419462769/100000000000000000000000000000 -32283698637493067874263359/40000000000000000000000000000 -1740232733468249798855787623/200000000000000000000000000000 -743566995687618105059320191/1000000000000000000000000000000
981199843265315242044055567/500000000000000000000000000000 936672791887941847105161437/250000000000000000000000000000 92725166456947424614120167/250000000000000000000000000000 -120506165296891276119826221/100000000000000000000000000000 -6495810030399204345304400669/500000000000000000000000000000 -22204248230752826748984753/20000000000000000000000000000
24841146693471784419462769/100000000000000000000000000000 92725166456947424614120167/250000000000000000000000000000 2347533458723905220564869/50000000000000000000000000000 -3050868128514818235245509/20000000000000000000000000000 -164455152501348701134568073/100000000000000000000000000000 -70268430951225963881148741/500000000000000000000000000000
-32283698637493067874263359/40000000000000000000000000000 -120506165296891276119826221/100000000000000000000000000000 -3050868128514818235245509/20000000000000000000000000000 1982462976831676509186869/4000000000000000000000000000 53431718030671273847764527/10000000000000000000000000000 45660630657501697584563589/100000000000000000000000000000
-1740232733468249798855787623/200000000000000000000000000000 -6495810030399204345304400669/500000000000000000000000000000 -164455152501348701134568073/100000000000000000000000000000 53431718030671273847764527/10000000000000000000000000000 5760407180510114862239813033/100000000000000000000000000000 1230653974831532488102743303/250000000000000000000000000000
-743566995687618105059320191/1000000000000000000000000000000 -22204248230752826748984753/20000000000000000000000000000 -70268430951225963881148741/500000000000000000000000000000 45660630657501697584563589/100000000000000000000000000000 1230653974831532488102743303/250000000000000000000000000000 210333632093630201884265361/500000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
331315321006859965920889369051/1000000000000000000000000000000 -6592745192567999940010559653/20000000000000000000000000000 -839030676263254764863031223/1000000000000000000000000000000 -1530502634536662490077684971/500000000000000000000000000000 1530502634536662490077684971/500000000000000000000000000000 -1530502630841024383066862633/500000000000000000000000000000 0/1 225797825819075657816932397851/1000000000000000000000000000000 -226045612622480669432621937549/1000000000000000000000000000000 15486676056514534853123229/125000000000000000000000000000
-6592745192567999940010559653/20000000000000000000000000000 165657660522507530835950196869/500000000000000000000000000000 -104878831644415975593936979/125000000000000000000000000000 382625658626854376043697789/125000000000000000000000000000 -382625658626854376043697789/125000000000000000000000000000 1530502631097775181448821317/500000000000000000000000000000 0/1 -28255701578491167696069674673/125000000000000000000000000000 22579782583927052303599384239/100000000000000000000000000000 61946704034408848025973469/500000000000000000000000000000
-839030676263254764863031223/1000000000000000000000000000000 -104878831644415975593936979/125000000000000000000000000000 66263064209981554516941024787/200000000000000000000000000000 -1530502630698302515433531789/500000000000000000000000000000 1530502630698302515433531789/500000000000000000000000000000 1530502638413197465634074273/500000000000000000000000000000 0/1 123893387993985163673475401/1000000000000000000000000000000 24778682402146356640371697/200000000000000000000000000000 112898912914422899663370337983/500000000000000000000000000000
-1530502634536662490077684971/500000000000000000000000000000 382625658626854376043697789/125000000000000000000000000000 -1530502630698302515433531789/500000000000000000000000000000 14862403294340326275614157/250000000000000000000000000000 -14862403294340326275614157/250000000000000000000000000000 -17527641483707401/250000000000000000000000000000 0/1 -1096940193384687478048297493/500000000000000000000000000000 1096940193659406098297576069/500000000000000000000000000000 -274235047789092698543320249/125000000000000000000000000000
1530502634536662490077684971/500000000000000000000000000000 -382625658626854376043697789/125000000000000000000000000000 1530502630698302515433531789/500000000000000000000000000000 -14862403294340326275614157/250000000000000000000000000000 14862403294340326275614157/250000000000000000000000000000 17527641483707401/250000000000000000000000000000 0/1 1096940193384687478048297493/500000000000000000000000000000 -1096940193659406098297576069/500000000000000000000000000000 274235047789092698543320249/125000000000000000000000000000
-1530502630841024383066862633/500000000000000000000000000000 1530502631097775181448821317/500000000000000000000000000000 1530502638413197465634074273/500000000000000000000000000000 -17527641483707401/250000000000000000000000000000 17527641483707401/250000000000000000000000000000 7431201667598936148554217/125000000000000000000000000000 0/1 -1096940191442172749314585693/500000000000000000000000000000 219388038242386635817270079/100000000000000000000000000000 219388039284654167418813589/100000000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
225797825819075657816932397851/1000000000000000000000000000000 -28255701578491167696069674673/125000000000000000000000000000 123893387993985163673475401/1000000000000000000000000000000 -1096940193384687478048297493/500000000000000000000000000000 1096940193384687478048297493/500000000000000000000000000000 -1096940191442172749314585693/500000000000000000000000000000 0/1 32550159273140305719887782213/200000000000000000000000000000 -32218788879856058824099239021/200000000000000000000000000000 -4142130038242231619129291/5000000000000000000000000000
-226045612622480669432621937549/1000000000000000000000000000000 22579782583927052303599384239/100000000000000000000000000000 24778682402146356640371697/200000000000000000000000000000 1096940193659406098297576069/500000000000000000000000000000 -1096940193659406098297576069/500000000000000000000000000000 219388038242386635817270079/100000000000000000000000000000 0/1 -32218788879856058824099239021/200000000000000000000000000000 32550159275451185907024734809/200000000000000000000000000000 -207106500455888722358148439/250000000000000000000000000000
15486676056514534853123229/125000000000000000000000000000 61946704034408848025973469/500000000000000000000000000000 112898912914422899663370337983/500000000000000000000000000000 -274235047789092698543320249/125000000000000000000000000000 274235047789092698543320249/125000000000000000000000000000 219388039284654167418813589/100000000000000000000000000000 0/1 -4142130038242231619129291/5000000000000000000000000000 -207106500455888722358148439/250000000000000000000000000000 2034384954907837042714191649/12500000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
144170683737708694710055326201/1000000000000000000000000000000 -955431775761758649843395823/31250000000000000000000000000 33727297725743034558586222971/1000000000000000000000000000000 -295452603936848771987445875619/1000000000000000000000000000000 -43876987128303971591290228713/1000000000000000000000000000000 79542716052633376056078826863/250000000000000000000000000000
-955431775761758649843395823/31250000000000000000000000000 25326920965319835847090763/3906250000000000000000000000 -447027524907600604647434881/62500000000000000000000000000 3915980679489358998254326513/62500000000000000000000000000 581553290151251990808003061/62500000000000000000000000000 -4217092489363187794260101831/62500000000000000000000000000
33727297725743034558586222971/1000000000000000000000000000000 -447027524907600604647434881/62500000000000000000000000000 986270736870500994827996977/125000000000000000000000000000 -1079971851601566718164628811/15625000000000000000000000000 -5132292400432625222522558929/500000000000000000000000000000 74432909567167812927382984147/1000000000000000000000000000000
-295452603936848771987445875619/1000000000000000000000000000000 3915980679489358998254326513/62500000000000000000000000000 -1079971851601566718164628811/15625000000000000000000000000 75684805424690360180661219463/125000000000000000000000000000 44959105978720046370977192389/500000000000000000000000000000 -652035544888327653519076540531/1000000000000000000000000000000
-43876987128303971591290228713/1000000000000000000000000000000 581553290151251990808003061/62500000000000000000000000000 -5132292400432625222522558929/500000000000000000000000000000 44959105978720046370977192389/500000000000000000000000000000 3378425749337744406211453753/31250000000000000000000000000 -96832300092658967119468460107/1000000000000000000000000000000
79542716052633376056078826863/250000000000000000000000000000 -4217092489363187794260101831/62500000000000000000000000000 74432909567167812927382984147/1000000000000000000000000000000 -652035544888327653519076540531/1000000000000000000000000000000 -96832300092658967119468460107/1000000000000000000000000000000 702172565239764754115846753447/1000000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
300510133701218409388928488911/500000000000000000000000000000 -300510133701218409388928488911/500000000000000000000000000000 0/1 0/1 0/1 0/1 0/1 5157410682873388959319614111/62500000000000000000000000000 -5157410682873388959319614111/62500000000000000000000000000 0/1
-300510133701218409388928488911/500000000000000000000000000000 300510133701218409388928488911/500000000000000000000000000000 0/1 0/1 0/1 0/1 0/1 -5157410682873388959319614111/62500000000000000000000000000 5157410682873388959319614111/62500000000000000000000000000 0/1
0/1 0/1 150255072293350288976962129279/250000000000000000000000000000 0/1 0/1 0/1 0/1 2207815123165430758017/200000000000000000000000000000 2207815123165430758017/200000000000000000000000000000 20629634547524234708622284309/250000000000000000000000000000
0/1 0/1 0/1 90221031405322161093858746583/125000000000000000000000000000 90221031405322161093858746583/125000000000000000000000000000 -90221031405322161093858746583/125000000000000000000000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 90221031405322161093858746583/125000000000000000000000000000 90221031405322161093858746583/125000000000000000000000000000 -90221031405322161093858746583/125000000000000000000000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -90221031405322161093858746583/125000000000000000000000000000 -90221031405322161093858746583/125000000000000000000000000000 90221031405322161093858746583/125000000000000000000000000000 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
5157410682873388959319614111/62500000000000000000000000000 -5157410682873388959319614111/62500000000000000000000000000 2207815123165430758017/200000000000000000000000000000 0/1 0/1 0/1 0/1 205665699987251916563935145667/250000000000000000000000000000 -266323060710942797335731228599/500000000000000000000000000000 -145008381973694487430880785889/1000000000000000000000000000000
-5157410682873388959319614111/62500000000000000000000000000 5157410682873388959319614111/62500000000000000000000000000 2207815123165430758017/200000000000000000000000000000 0/1 0/1 0/1 0/1 -266323060710942797335731228599/500000000000000000000000000000 205665699987251916563935145667/250000000000000000000000000000 -145008381973694487430880785889/1000000000000000000000000000000
0/1 0/1 20629634547524234708622284309/250000000000000000000000000000 0/1 0/1 0/1 0/1 -145008381973694487430880785889/1000000000000000000000000000000 -145008381973694487430880785889/1000000000000000000000000000000 16453259945570730813878494127/20000000000000000000000000000

